Echokammer extrem? Symbolische Grenzziehungen in der Telegramgruppe von Attila Hildmann

Symbolische LTL-Verifikation von Petrinetzen

Der Mikroprozess von Programmierfehlern

Das Fehlermachen ist ein vermutlich individueller Prozess. Auf dieser Annahme basierend hat der Persönliche Softwareprozess (PSP) [Hum95] eine Methode entwickelt, die eine systematische Analyse der eigenen Fehler bietet. Diese findet mittels konsequent geführter Aufzeichnungen statt, neben der eigentlichen Programmierarbeit. Manuelle Aufzeichnungen sind jedoch häufig fehlerhaft und dermaßen auf...

Informationstechnische Unterstützung der Handhabung von Unterbrechungen in der Multiprojekt-Wissensarbeit

Wissensarbeit.

Automatisierte Identifizierung der Problemlösestrategien von Programmieranfängern in der Sekundarstufe I

Im Teilbereich der Algorithmik werden oft spezielle Lernund Programmierumgebungen eingesetzt, um insbesondere im Informatikunterricht der Sekundarstufe I den Lernenden die Grundlagen des Programmierens zu vermitteln. In einigen deutschen Bundesländern (z. B. Bayern), werden die Programmiergrundlagen bereits in der 7. Jahrgangsstufe (12 bis 13-jährige) gelehrt, wo dann altersgerecht gestaltete L...

Entwicklung von Informationssystemen in der Lehre - Ein Fallbeispiel der Verwendung von OSS

Die Verwendung von Open-Source-Systemen in der Lehre ist gängige Praxis an deutschen Hochschulen. Wir skizzieren hier als Fallbeispiel den Einsatz von Open-Source-Systemen im Labor einer Lehrveranstaltung zu Informationssystemen, das praktisch alle relevanten technischen Aspekte von Informationsystemen abdeckt. Das Papier versucht an diesem Fallbeispiel zu belegen, dass selbst Informationssyste...